Revision: make--debian--3.0--patch-1
Archive: srivasta@debian.org--2003-primary
Creator: Manoj Srivastava <srivasta@debian.org>
Date: Sat Feb 14 10:40:06 CST 2004
Standard-date: 2004-02-14 16:40:06 GMT
Modified-files: doc/make.texi
New-patches: srivasta@debian.org--2003-primary/make--debian--3.0--patch-1
Summary: Fix a minor texi bug
Keywords: 

Fix a minor texi bug

